Automated Reasoning – alle Bücher

Ihre Suche nach "Automated Reasoning" (Bücher) ergab 2 Treffer.

Automated Reasoning with Analytic Tableaux and Related Methods

This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during S…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80* Aktueller Preis: EUR 43,80

Artikel merken

In den Warenkorb

Menge ändern

Intelligent Computer Mathematics

.- Automated Reasoning..- Hammering Higher Order Set Theory..- Synthesis Benchmarks for Automated Reasoning..- Automated Symmetric Constructions in Discrete Geometry..- Formal Libraries..- Growing Mathlib…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 142,37* Aktueller Preis: EUR 142,37

Artikel merken

In den Warenkorb

Menge ändern